More from this Author

Logic Programming

by Maurizio Gabbrielli (Editor), Gopal Gupta (Editor)

Logic-Based Program Synthesis and Transformation

by Gopal Gupta (Editor), Ricardo Peña (Editor), Ricardo Peña (Editor)